nonempty closed set

[数] 非空闭集